NixOS: A Purely Funcitonal Linux Distribution
論文
https://edolstra.github.io/pubs/nixos-jfp-final.pdf
Eelco Dolstra